Rocq Prover Language Ranking in United States

Country:

Rank	Login	Location	Stars
1	jwiegley	🇺🇸 California, USA	895
2	achlipala	🇺🇸 Cambridge, MA	567
3	stepchowfun	🇺🇸 San Francisco, CA	299
4	tchajed	🇺🇸 Madison, WI	107
5↑5	JasonGross	🇺🇸 Berkeley, California, United States	20
6↓1	yuri-panchul	🇺🇸 United States	11
7↓1	arthuraa	🇺🇸 Rochester, NY, USA	11
8	sweirich	🇺🇸 Philadelphia	9
9↓2	abhinavnandwani	🇺🇸 Madison, WI	7
10↓2	alpaylan	🇺🇸 Maryland, United States	4
11↓1	CharlesAverill	🇺🇸 Dallas	2
12↓3	nelhage	🇺🇸 San Francisco	1
13↓2	anirudhSK	🇺🇸 New York City	1
14↓2	lacker	🇺🇸 Piedmont, CA	1
15↓2	ryanmaguire	🇺🇸 Boston, MA	1
16↓2	matth2k	🇺🇸 Philly PA	1